[next] [prev] [prev-tail] [tail] [up]

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 36, 37, 38, 39, 43, 44, 45, 49, 50, 51, 52, 53, 54, 55, 56, 57, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 99, 100, 101, 102, 103, 104, 109, 110, 111, 113, 116, 117, 124, 125, 126, 127, 128, 129, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 167, 168, 169, 170, 174, 175, 176, 177, 182, 183, 184, 185, 186, 187, 188, 189, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 217, 219, 220, 221, 224, 225, 226, 227, 229, 230, 231, 232, 233, 234, 238, 239, 240, 243, 244, 245, 246, 247, 248, 249, 251, 252, 253, 256, 257, 258, 259, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 275, 276, 277, 278, 279, 282, 283, 284, 285, 288, 289, 290, 293, 294, 295, 296, 297, 298, 301, 302, 303, 307, 308, 309, 313, 314, 315, 316, 317, 320, 321, 322, 323, 326, 327, 328, 329, 330, 332, 333, 334, 335, 336, 337, 338, 339, 341, 343, 344, 346, 348, 349, 350, 351, 352, 353, 354, 355, 357, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 386, 387, 388, 391, 392, 393, 394, 395, 396 }

B grade: { 32, 33, 34, 35, 40, 41, 42, 46, 47, 98, 105, 106, 107, 112, 114, 115, 164, 165, 166, 171, 172, 173, 178, 179, 180, 181, 216, 218, 222, 223, 228, 235, 236, 241, 242, 250, 254, 255, 260, 261, 273, 274, 280, 281, 286, 287, 291, 292, 299, 300, 304, 305, 306, 310, 311, 312, 318, 324, 325, 331, 340, 342, 382, 383, 384, 385, 389, 390, 397 }

C grade: { 48, 58, 59, 60, 61, 62, 63, 108, 118, 119, 120, 121, 122, 123, 130, 131, 132, 133, 134, 135, 190, 191, 192, 193, 194, 195, 237, 319, 345, 347, 356, 358 }

F grade: { }

2.1.3 Maple

A grade: { 5, 6, 7, 8, 9, 10, 11, 12, 17, 18, 19, 20, 21, 26, 27, 28, 29, 30, 31, 36, 37, 38, 42, 43, 44, 45, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 74, 75, 76, 77, 78, 84, 85, 86, 87, 92, 93, 94, 95, 96, 97, 102, 103, 104, 108, 109, 110, 111, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 140, 141, 142, 143, 144, 149, 150, 151, 152, 153, 159, 160, 161, 162, 163, 168, 169, 170, 175, 176, 177, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 205, 206, 207, 208, 213, 214, 215, 219, 220, 221, 224, 225, 226, 227, 232, 233, 234, 237, 238, 239, 240, 244, 245, 246, 250, 251, 252, 253, 256, 257, 258, 259, 263, 264, 265, 269, 270, 271, 272, 276, 277, 278, 281, 282, 283, 284, 287, 288, 289, 290, 293, 294, 295, 296, 297, 301, 302, 303, 306, 307, 308, 309, 314, 315, 316, 320, 321, 322, 326, 327, 360, 362, 363, 364, 365, 366, 367, 371, 372, 373, 374, 375, 379, 380, 381, 385, 386, 387, 388, 391, 392, 393, 394, 395, 396 }

B grade: { 2, 3, 4, 14, 15, 16, 23, 24, 25, 32, 33, 34, 35, 39, 40, 41, 46, 47, 71, 72, 73, 80, 81, 82, 83, 89, 90, 91, 98, 99, 100, 101, 105, 106, 107, 112, 113, 114, 115, 137, 138, 139, 146, 147, 148, 155, 156, 157, 158, 164, 165, 166, 167, 171, 172, 173, 178, 179, 180, 181, 204, 209, 210, 211, 212, 216, 217, 218, 222, 223, 228, 229, 230, 231, 235, 236, 241, 242, 243, 247, 248, 249, 254, 255, 260, 261, 266, 267, 268, 273, 274, 275, 279, 280, 286, 291, 292, 298, 299, 300, 304, 305, 310, 311, 312, 313, 317, 318, 319, 323, 324, 325, 361, 368, 369, 370, 376, 377, 378, 382, 383, 384, 389, 390, 397 }

C grade: { 174, 262, 331, 340, 347, 356 }

F grade: { 1, 13, 22, 70, 79, 88, 136, 145, 154, 285, 328, 329, 330, 332, 333, 334, 335, 336, 337, 338, 339, 341, 342, 343, 344, 345, 346, 348, 349, 350, 351, 352, 353, 354, 355, 357, 358, 359 }

2.1.4 Maxima

A grade: { 5, 17, 26, 31, 36, 37, 38, 45, 74, 92, 97, 102, 104, 111, 116, 117, 140, 149, 158, 163, 168, 170, 177, 208, 213, 214, 215, 221, 224, 227, 232, 233, 234, 240, 246, 253, 259, 265, 272, 278, 284, 290, 297, 303, 307, 308, 309, 314, 316, 322, 360, 361, 362, 363, 364, 368, 369, 370, 371, 379, 384, 386, 387

B grade: { 2, 3, 4, 14, 15, 16, 23, 24, 25, 32, 33, 34, 35, 39, 40, 41, 42, 46, 47, 48, 49, 71, 72, 73, 80, 81, 82, 83, 89, 90, 91, 98, 99, 100, 101, 105, 106, 107, 108, 112, 113, 114, 115, 137, 138, 139, 146, 147, 148, 155, 156, 157, 164, 165, 166, 167, 172, 173, 174, 178, 179, 180, 181, 205, 206, 207, 209, 210, 211, 212, 216, 217, 222, 223, 228, 229, 230, 231, 235, 236, 241, 242, 243, 247, 248, 250, 254, 255, 256, 260, 262, 266, 267, 268, 269, 273, 274, 275, 279, 280, 281, 285, 286, 287, 291, 292, 293, 294, 298, 299, 304, 305, 306, 310, 311, 312, 313, 317, 318, 323, 324, 325, 376, 377, 382, 383, 391, 396 }

C grade: { 6, 7, 8, 9, 10, 11, 12, 18, 19, 20, 21, 27, 28, 29, 30, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 75, 76, 77, 78, 84, 85, 86, 87, 93, 94, 95, 96, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 141, 142, 143, 144, 150, 151, 152, 153, 159, 160, 161, 162, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 365, 366, 367, 372, 373, 374, 375 }

F grade: { 1, 13, 22, 43, 44, 50, 51, 70, 79, 88, 103, 109, 110, 136, 145, 154, 169, 171, 175, 176, 182, 183, 202, 203, 204, 218, 219, 220, 225, 226, 237, 238, 239, 244, 245, 249, 251, 252, 257, 258, 261, 263, 264, 270, 271, 276, 277, 282, 283, 288, 289, 295, 296, 300, 301, 302, 315, 319, 320, 321, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 378, 380, 381, 385, 388, 389, 390, 392, 393, 394, 395, 397 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29, 31, 36, 37, 38, 43, 44, 45, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 79, 83, 84, 85, 88, 89, 90, 91, 92, 93, 94, 95, 97, 102, 103, 104, 109, 110, 111, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 145, 146, 147, 148, 149, 150, 151, 152, 154, 157, 158, 159, 160, 161, 163, 168, 169, 170, 174, 175, 176, 177, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 204, 208, 213, 214, 215, 219, 220, 221, 225, 226, 227, 232, 233, 234, 238, 239, 240, 244, 245, 246, 251, 252, 253, 256, 257, 258, 259, 262, 263, 264, 265, 270, 271, 272, 276, 277, 278, 282, 283, 284, 288, 289, 290, 293, 294, 295, 296, 297, 301, 302, 303, 306, 307, 308, 309, 314, 315, 316, 320, 321, 322, 326, 327, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 379, 380, 381, 386, 387, 388, 391, 392, 393, 394, 396 }

B grade: { 8, 9, 21, 30, 35, 41, 42, 47, 78, 80, 81, 82, 86, 87, 96, 101, 107, 108, 115, 144, 153, 155, 156, 162, 167, 173, 181, 203, 207, 212, 218, 224, 231, 237, 243, 249, 250, 255, 261, 269, 274, 275, 281, 287, 292, 300, 313, 319, 325, 378, 385, 390, 395, 397 }

C grade: { 32, 33, 34, 39, 40, 46, 98, 99, 100, 105, 106, 112, 113, 114, 164, 165, 166, 171, 172, 178, 179, 180, 202, 205, 206, 209, 210, 211, 216, 217, 222, 223, 228, 229, 230, 235, 236, 241, 242, 247, 248, 254, 260, 266, 267, 268, 273, 279, 280, 285, 286, 291, 298, 299, 304, 305, 310, 311, 312, 317, 318, 323, 324, 376, 377, 382, 383, 384, 389 }

F grade: { 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359 }

2.1.6 Sympy

A grade: { 2, 3, 4, 5, 10, 11, 12, 14, 15, 16, 17, 23, 24, 25, 26, 36, 37, 43, 44, 50, 51, 71, 72, 73, 74, 80, 81, 82, 83, 89, 90, 91, 92, 102, 103, 104, 108, 109, 110, 111, 116, 117, 137, 138, 139, 140, 146, 147, 148, 149, 155, 156, 157, 158, 168, 169, 175, 176, 182, 183, 213, 214, 219, 220, 232, 233, 238, 239, 244, 245, 246, 251, 252, 253, 256, 257, 258, 263, 264, 270, 271, 276, 277, 282, 295, 296, 301, 302, 303, 307, 308, 314, 315, 360, 364 }

B grade: { 53, 54, 55, 56, 362, 363, 396 }

C grade: { }

F grade: { 1, 6, 7, 8, 9, 13, 18, 19, 20, 21, 22, 27, 28, 29, 30, 31, 32, 33, 34, 35, 38, 39, 40, 41, 42, 45, 46, 47, 48, 49, 52, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 75, 76, 77, 78, 79, 84, 85, 86, 87, 88, 93, 94, 95, 96, 97, 98, 99, 100, 101, 105, 106, 107, 112, 113, 114, 115, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 141, 142, 143, 144, 145, 150, 151, 152, 153, 154, 159, 160, 161, 162, 163, 164, 165, 166, 167, 170, 171, 172, 173, 174, 177, 178, 179, 180, 181, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 215, 216, 217, 218, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 234, 235, 236, 237, 240, 241, 242, 243, 247, 248, 249, 250, 254, 255, 259, 260, 261, 262, 265, 266, 267, 268, 269, 272, 273, 274, 275, 278, 279, 280, 281, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 297, 298, 299, 300, 304, 305, 306, 309, 310, 311, 312, 313, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 361, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 397 }

2.1.7 Giac

A grade: { 2, 3, 4, 5, 10, 11, 12, 14, 15, 16, 17, 23, 24, 25, 26, 31, 36, 37, 38, 43, 44, 45, 50, 51, 71, 72, 73, 74, 80, 81, 82, 83, 89, 90, 91, 92, 97, 102, 103, 104, 109, 110, 111, 116, 117, 137, 138, 139, 140, 146, 147, 148, 149, 155, 156, 157, 158, 163, 168, 169, 170, 175, 176, 177, 182, 183, 208, 213, 214, 215, 219, 220, 221, 225, 226, 227, 232, 233, 234, 238, 239, 240, 244, 245, 246, 251, 252, 253, 257, 258, 259, 263, 264, 265, 270, 271, 272, 276, 277, 278, 283, 284, 288, 289, 290, 295, 296, 297, 301, 302, 303, 307, 308, 309, 314, 315, 316, 321, 322, 326, 327, 360, 361, 362, 363, 364, 365, 366, 379, 380, 381, 386, 387, 388, 392, 393, 394 }

B grade: { 42, 48, 49, 108, 174, 204, 250, 256, 262, 293, 294, 367, 368, 369, 370, 371, 391, 396 }

C grade: { 6, 8, 9, 18, 27, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 75, 84, 86, 87, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 141, 159, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 372, 374 }

F grade: { 1, 7, 13, 19, 20, 21, 22, 28, 29, 30, 32, 33, 34, 35, 39, 40, 41, 46, 47, 70, 76, 77, 78, 79, 85, 88, 93, 94, 95, 96, 98, 99, 100, 101, 105, 106, 107, 112, 113, 114, 115, 136, 142, 143, 144, 145, 150, 151, 152, 153, 154, 160, 161, 162, 164, 165, 166, 167, 171, 172, 173, 178, 179, 180, 181, 202, 203, 205, 206, 207, 209, 210, 211, 212, 216, 217, 218, 222, 223, 224, 228, 229, 230, 231, 235, 236, 237, 241, 242, 243, 247, 248, 249, 254, 255, 260, 261, 266, 267, 268, 269, 273, 274, 275, 279, 280, 281, 282, 285, 286, 287, 291, 292, 298, 299, 300, 304, 305, 306, 310, 311, 312, 313, 317, 318, 319, 320, 323, 324, 325, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 373, 375, 376, 377, 378, 382, 383, 384, 385, 389, 390, 395, 397 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)

Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 138 0 0 246 0 0
normalized size 1 1. 1.01 0. 0. 1.8 0. 0.
time (sec) N/A 0.156 0.085 0.209 0. 0.516 0. 0.
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 156 156 86 853 791 518 502 244
normalized size 1 1. 0.55 5.47 5.07 3.32 3.22 1.56
time (sec) N/A 0.107 0.513 0.034 1.221 0.492 7.636 1.093
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 71 466 462 348 342 163
normalized size 1 1. 0.59 3.88 3.85 2.9 2.85 1.36
time (sec) N/A 0.083 0.3 0.015 1.132 0.483 3.107 1.145
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 50 215 231 203 175 99
normalized size 1 1. 0.56 2.42 2.6 2.28 1.97 1.11
time (sec) N/A 0.054 0.233 0.015 1.156 0.474 1.374 1.122
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 34 74 88 108 80 51
normalized size 1 1. 0.68 1.48 1.76 2.16 1.6 1.02
time (sec) N/A 0.026 0.101 0.014 1.121 0.464 0.599 1.142
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 60 84 190 213 0 768
normalized size 1 1. 0.92 1.29 2.92 3.28 0. 11.82
time (sec) N/A 0.139 0.131 0.026 1.38 0.47 0. 1.208
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 80 124 221 333 0 0
normalized size 1 1. 0.94 1.46 2.6 3.92 0. 0.
time (sec) N/A 0.149 0.316 0.02 1.451 0.493 0. 0.
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C B F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 114 114 102 162 269 525 0 7287
normalized size 1 1. 0.89 1.42 2.36 4.61 0. 63.92
time (sec) N/A 0.175 1.091 0.02 1.741 0.513 0. 1.605
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C B F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 144 144 164 200 336 703 0 10249
normalized size 1 1. 1.14 1.39 2.33 4.88 0. 71.17
time (sec) N/A 0.198 0.661 0.021 2.113 0.533 0. 1.809
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 7 18 31 5 8
normalized size 1 1. 1. 0.88 2.25 3.88 0.62 1.
time (sec) N/A 0.029 0.006 0.026 1.219 0.452 1.075 1.117
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 15 20 95 22 26
normalized size 1 1. 1. 0.94 1.25 5.94 1.38 1.62
time (sec) N/A 0.046 0.006 0.026 1.208 0.459 2.16 1.121
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 29 26 20 96 24 35
normalized size 1 1. 1. 0.9 0.69 3.31 0.83 1.21
time (sec) N/A 0.059 0.008 0.029 1.265 0.469 1.596 1.134
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 275 275 237 0 0 471 0 0
normalized size 1 1. 0.86 0. 0. 1.71 0. 0.
time (sec) N/A 0.33 0.723 0.335 0. 0.554 0. 0.
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 205 205 385 835 1188 759 646 473
normalized size 1 1. 1.88 4.07 5.8 3.7 3.15 2.31
time (sec) N/A 0.2 1.514 0.058 1.358 0.521 11.338 1.129
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 151 151 121 447 674 491 391 312
normalized size 1 1. 0.8 2.96 4.46 3.25 2.59 2.07
time (sec) N/A 0.135 0.992 0.019 1.118 0.502 5.268 1.166
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 93 204 324 296 216 185
normalized size 1 1. 0.9 1.98 3.15 2.87 2.1 1.8
time (sec) N/A 0.077 0.614 0.016 1.11 0.48 2.62 1.141
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 44 71 115 149 85 93
normalized size 1 1. 0.86 1.39 2.25 2.92 1.67 1.82
time (sec) N/A 0.033 0.182 0.018 1.132 0.472 1.178 1.102
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 102 166 370 404 0 8180
normalized size 1 1. 0.84 1.37 3.06 3.34 0. 67.6
time (sec) N/A 0.27 0.335 0.017 1.478 0.483 0. 1.737
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 139 242 408 593 0 0
normalized size 1 1. 0.83 1.44 2.43 3.53 0. 0.
time (sec) N/A 0.301 1.435 0.023 1.771 0.541 0. 0.
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 221 221 183 311 455 914 0 0
normalized size 1 1. 0.83 1.41 2.06 4.14 0. 0.
time (sec) N/A 0.358 2.238 0.021 2.273 0.575 0. 0.
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 270 270 298 384 522 1243 0 0
normalized size 1 1. 1.1 1.42 1.93 4.6 0. 0.
time (sec) N/A 0.42 1.752 0.024 2.808 0.637 0. 0.
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 271 271 246 0 0 486 0 0
normalized size 1 1. 0.91 0. 0. 1.79 0. 0.
time (sec) N/A 0.331 0.3 0.265 0. 0.551 0. 0.
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 260 260 158 1143 1305 936 976 487
normalized size 1 1. 0.61 4.4 5.02 3.6 3.75 1.87
time (sec) N/A 0.241 1.81 0.063 1.313 0.54 18.541 1.085
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 196 196 135 594 741 621 634 325
normalized size 1 1. 0.69 3.03 3.78 3.17 3.23 1.66
time (sec) N/A 0.165 0.97 0.019 1.213 0.518 10.49 1.133
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 134 134 91 260 355 359 350 196
normalized size 1 1. 0.68 1.94 2.65 2.68 2.61 1.46
time (sec) N/A 0.092 0.524 0.02 1.186 0.486 5.116 1.139
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 75 85 124 192 160 101
normalized size 1 1. 1.04 1.18 1.72 2.67 2.22 1.4
time (sec) N/A 0.045 0.116 0.021 1.093 0.474 2.371 1.114
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 129 129 110 178 370 421 0 8162
normalized size 1 1. 0.85 1.38 2.87 3.26 0. 63.27
time (sec) N/A 0.232 0.416 0.021 1.437 0.48 0. 1.72
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 179 179 151 256 406 621 0 0
normalized size 1 1. 0.84 1.43 2.27 3.47 0. 0.
time (sec) N/A 0.28 1.296 0.023 1.778 0.554 0. 0.
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 229 229 199 329 454 976 0 0
normalized size 1 1. 0.87 1.44 1.98 4.26 0. 0.
time (sec) N/A 0.344 2.826 0.024 2.171 0.617 0. 0.
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 287 287 316 404 521 1293 0 0
normalized size 1 1. 1.1 1.41 1.82 4.51 0. 0.
time (sec) N/A 0.389 2.406 0.024 3.091 0.685 0. 0.
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.018 2.539 0.234 0. 0. 0. 0.
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 151 151 799 1150 1704 2938 0 0
normalized size 1 1. 5.29 7.62 11.28 19.46 0. 0.
time (sec) N/A 0.22 5.769 0.329 1.978 0.694 0. 0.
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 127 127 560 783 1008 2056 0 0
normalized size 1 1. 4.41 6.17 7.94 16.19 0. 0.
time (sec) N/A 0.192 2.76 0.296 1.701 0.627 0. 0.
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 93 93 356 468 545 1330 0 0
normalized size 1 1. 3.83 5.03 5.86 14.3 0. 0.
time (sec) N/A 0.166 1.425 0.27 1.526 0.567 0. 0.
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 65 65 188 215 255 721 0 0
normalized size 1 1. 2.89 3.31 3.92 11.09 0. 0.
time (sec) N/A 0.096 5.18 0.248 1.532 0.547 0. 0.
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.021 3.585 0.244 0. 0. 0. 0.
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.021 7.065 0.279 0. 0. 0. 0.
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.204 1.242 0.155 0. 0. 0. 0.
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 208 208 308 716 3974 2569 0 0
normalized size 1 1. 1.48 3.44 19.11 12.35 0. 0.
time (sec) N/A 0.172 1.375 0.28 2.5 0.7 0. 0.
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 146 146 311 433 2390 1740 0 0
normalized size 1 1. 2.13 2.97 16.37 11.92 0. 0.
time (sec) N/A 0.116 1.187 0.256 1.817 0.605 0. 0.
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 90 90 234 212 751 1006 0 0
normalized size 1 1. 2.6 2.36 8.34 11.18 0. 0.
time (sec) N/A 0.062 2.051 0.205 1.634 0.559 0. 0.
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 131 52 350 181 0 1081
normalized size 1 1. 4.37 1.73 11.67 6.03 0. 36.03
time (sec) N/A 0.02 0.058 0.024 1.092 0.488 0. 1.527
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.115 16.76 0.295 0. 0. 0. 0.
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.152 20.204 0.411 0. 0. 0. 0.
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.217 3.292 0.162 0. 0. 0. 0.
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 137 137 504 716 6129 2562 0 0
normalized size 1 1. 3.68 5.23 44.74 18.7 0. 0.
time (sec) N/A 0.256 6.602 0.188 2.477 0.695 0. 0.
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 115 115 277 409 1411 1445 0 0
normalized size 1 1. 2.41 3.56 12.27 12.57 0. 0.
time (sec) N/A 0.174 6.412 0.164 2.279 0.61 0. 0.
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A B A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 94 95 1526 231 0 4701
normalized size 1 1. 1.74 1.76 28.26 4.28 0. 87.06
time (sec) N/A 0.065 0.918 0.029 1.346 0.504 0. 2.577
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 48 61 387 103 0 710
normalized size 1 1. 1.37 1.74 11.06 2.94 0. 20.29
time (sec) N/A 0.031 0.074 0.029 1.166 0.457 0. 1.209
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.137 11.553 0.445 0. 0. 0. 0.
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.166 11.151 0.595 0. 0. 0. 0.
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 196 196 179 234 910 540 0 1327
normalized size 1 1. 0.91 1.19 4.64 2.76 0. 6.77
time (sec) N/A 0.448 2.37 0.037 1.956 0.551 0. 1.318
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A B C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 157 187 869 413 665 732
normalized size 1 1. 0.93 1.11 5.17 2.46 3.96 4.36
time (sec) N/A 0.295 0.886 0.025 1.888 0.532 130.886 1.23
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A B C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 142 134 142 788 308 389 316
normalized size 1 1. 0.94 1. 5.55 2.17 2.74 2.23
time (sec) N/A 0.231 0.269 0.023 2.06 0.521 5.903 1.169
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A B C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 142 134 142 788 308 389 316
normalized size 1 1. 0.94 1. 5.55 2.17 2.74 2.23
time (sec) N/A 0.221 0.026 0.023 1.978 0.52 5.846 1.158
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A B C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 157 187 869 413 665 732
normalized size 1 1. 0.93 1.11 5.17 2.46 3.96 4.36
time (sec) N/A 0.275 0.042 0.026 1.941 0.531 132.766 1.261
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 196 196 179 234 910 540 0 1327
normalized size 1 1. 0.91 1.19 4.64 2.76 0. 6.77
time (sec) N/A 0.334 0.081 0.024 2.034 0.546 0. 1.315
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes NO TBD TBD TBD TBD TBD
size 406 406 1171 474 1866 918 0 2722
normalized size 1 1. 2.88 1.17 4.6 2.26 0. 6.7
time (sec) N/A 1.137 15.523 0.04 2.503 0.643 0. 1.589
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 353 353 677 386 1787 756 0 1517
normalized size 1 1. 1.92 1.09 5.06 2.14 0. 4.3
time (sec) N/A 0.684 9.307 0.036 2.536 0.612 0. 1.37
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 304 304 280 294 1648 639 0 662
normalized size 1 1. 0.92 0.97 5.42 2.1 0. 2.18
time (sec) N/A 0.47 6.566 0.036 2.312 0.583 0. 1.244
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 304 304 280 294 1648 639 0 662
normalized size 1 1. 0.92 0.97 5.42 2.1 0. 2.18
time (sec) N/A 0.468 6.489 0.035 2.431 0.586 0. 1.28
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 353 353 677 386 1787 756 0 1517
normalized size 1 1. 1.92 1.09 5.06 2.14 0. 4.3
time (sec) N/A 0.571 9.306 0.04 2.375 0.607 0. 1.374
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes NO TBD TBD TBD TBD TBD
size 406 406 1171 474 1866 918 0 2722
normalized size 1 1. 2.88 1.17 4.6 2.26 0. 6.7
time (sec) N/A 0.668 14.663 0.036 2.456 0.638 0. 1.562
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 407 407 550 470 1874 1011 0 2681
normalized size 1 1. 1.35 1.15 4.6 2.48 0. 6.59
time (sec) N/A 1.051 15.219 0.036 2.361 0.693 0. 1.861
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 351 351 393 376 1804 802 0 1485
normalized size 1 1. 1.12 1.07 5.14 2.28 0. 4.23
time (sec) N/A 0.674 3.344 0.039 2.318 0.647 0. 1.558
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 299 299 264 286 1655 630 0 643
normalized size 1 1. 0.88 0.96 5.54 2.11 0. 2.15
time (sec) N/A 0.499 0.874 0.034 2.308 0.607 0. 1.337
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 299 299 264 286 1655 630 0 643
normalized size 1 1. 0.88 0.96 5.54 2.11 0. 2.15
time (sec) N/A 0.46 0.326 0.035 2.447 0.608 0. 1.364
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 351 351 393 376 1804 802 0 1485
normalized size 1 1. 1.12 1.07 5.14 2.28 0. 4.23
time (sec) N/A 0.566 3.129 0.033 2.471 0.646 0. 1.539
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 407 407 550 470 1874 1011 0 2681
normalized size 1 1. 1.35 1.15 4.6 2.48 0. 6.59
time (sec) N/A 0.697 11.788 0.033 2.415 0.687 0. 1.799
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 267 267 250 0 0 460 0 0
normalized size 1 1. 0.94 0. 0. 1.72 0. 0.
time (sec) N/A 0.283 0.476 0.239 0. 0.547 0. 0.
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 205 205 150 835 1200 636 646 473
normalized size 1 1. 0.73 4.07 5.85 3.1 3.15 2.31
time (sec) N/A 0.203 1.623 0.043 1.395 0.526 10.47 1.205
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 151 151 127 447 682 404 391 312
normalized size 1 1. 0.84 2.96 4.52 2.68 2.59 2.07
time (sec) N/A 0.133 0.961 0.018 1.175 0.497 5.385 1.203
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 86 204 328 236 216 185
normalized size 1 1. 0.83 1.98 3.18 2.29 2.1 1.8
time (sec) N/A 0.079 0.51 0.018 1.208 0.483 2.627 1.153
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 71 71 116 112 85 93
normalized size 1 1. 1.39 1.39 2.27 2.2 1.67 1.82
time (sec) N/A 0.034 0.153 0.018 1.117 0.474 1.135 1.204
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 100 167 369 404 0 8477
normalized size 1 1. 0.83 1.38 3.05 3.34 0. 70.06
time (sec) N/A 0.224 0.304 0.02 1.383 0.482 0. 1.771
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 139 240 405 586 0 0
normalized size 1 1. 0.83 1.43 2.41 3.49 0. 0.
time (sec) N/A 0.266 1.135 0.022 1.725 0.538 0. 0.
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 221 221 181 313 452 907 0 0
normalized size 1 1. 0.82 1.42 2.05 4.1 0. 0.
time (sec) N/A 0.324 2.615 0.02 2.171 0.59 0. 0.
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 270 270 300 381 520 1231 0 0
normalized size 1 1. 1.11 1.41 1.93 4.56 0. 0.
time (sec) N/A 0.377 1.933 0.023 2.787 0.626 0. 0.
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 162 162 213 0 0 342 0 0
normalized size 1 1. 1.31 0. 0. 2.11 0. 0.
time (sec) N/A 0.205 1.104 0.209 0. 0.527 0. 0.
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 132 1915 992 986 1209 302
normalized size 1 1. 1.01 14.62 7.57 7.53 9.23 2.31
time (sec) N/A 0.164 1.367 0.076 1.371 0.531 17.601 1.16
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 106 1074 597 647 813 207
normalized size 1 1. 1.01 10.23 5.69 6.16 7.74 1.97
time (sec) N/A 0.13 0.685 0.022 1.304 0.514 9.976 1.14
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 77 519 313 398 484 127
normalized size 1 1. 0.97 6.57 3.96 5.04 6.13 1.61
time (sec) N/A 0.123 0.438 0.02 1.228 0.501 5.12 1.084
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 54 194 130 204 231 65
normalized size 1 1. 1.02 3.66 2.45 3.85 4.36 1.23
time (sec) N/A 0.054 0.298 0.02 1.256 0.482 2.355 1.087
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 65 105 216 239 0 903
normalized size 1 1. 0.83 1.35 2.77 3.06 0. 11.58
time (sec) N/A 0.14 0.165 0.026 1.456 0.487 0. 1.197
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 81 156 231 346 0 0
normalized size 1 1. 0.78 1.5 2.22 3.33 0. 0.
time (sec) N/A 0.169 0.463 0.025 1.469 0.55 0. 0.
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C B F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 127 127 105 193 278 582 0 7560
normalized size 1 1. 0.83 1.52 2.19 4.58 0. 59.53
time (sec) N/A 0.198 0.883 0.024 1.834 0.564 0. 1.641
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C B F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 123 230 346 880 0 11486
normalized size 1 1. 0.78 1.46 2.19 5.57 0. 72.7
time (sec) N/A 0.228 1.754 0.026 2.338 0.601 0. 1.87
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 407 407 376 0 0 709 0 0
normalized size 1 1. 0.92 0. 0. 1.74 0. 0.
time (sec) N/A 0.403 0.67 0.334 0. 0.57 0. 0.
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 330 330 238 1812 1808 1121 1098 717
normalized size 1 1. 0.72 5.49 5.48 3.4 3.33 2.17
time (sec) N/A 0.391 3.416 0.087 1.428 0.611 79.215 1.131
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 259 259 369 992 1034 706 690 474
normalized size 1 1. 1.42 3.83 3.99 2.73 2.66 1.83
time (sec) N/A 0.279 1.599 0.024 1.385 0.538 23.666 1.112
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 184 184 127 466 506 406 382 282
normalized size 1 1. 0.69 2.53 2.75 2.21 2.08 1.53
time (sec) N/A 0.197 0.923 0.026 1.251 0.506 20.576 1.129
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 94 163 188 194 163 143
normalized size 1 1. 0.86 1.5 1.72 1.78 1.5 1.31
time (sec) N/A 0.097 0.324 0.023 1.235 0.49 9.738 1.204
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 185 185 154 253 549 612 0 0
normalized size 1 1. 0.83 1.37 2.97 3.31 0. 0.
time (sec) N/A 0.339 0.523 0.024 1.727 0.509 0. 0.
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 257 257 213 365 591 883 0 0
normalized size 1 1. 0.83 1.42 2.3 3.44 0. 0.
time (sec) N/A 0.416 1.562 0.027 2.122 0.64 0. 0.
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 338 338 279 475 639 1358 0 0
normalized size 1 1. 0.83 1.41 1.89 4.02 0. 0.
time (sec) N/A 0.505 4.217 0.027 3.01 0.76 0. 0.
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 413 413 457 580 706 1841 0 0
normalized size 1 1. 1.11 1.4 1.71 4.46 0. 0.
time (sec) N/A 0.59 3.174 0.028 4.008 0.815 0. 0.
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 143 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.127 6.433 0.297 0. 0. 0. 0.
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 333 333 837 1295 2076 3281 0 0
normalized size 1 1. 2.51 3.89 6.23 9.85 0. 0.
time (sec) N/A 0.284 1.371 0.354 2.329 0.849 0. 0.
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 254 254 330 847 1241 2280 0 0
normalized size 1 1. 1.3 3.33 4.89 8.98 0. 0.
time (sec) N/A 0.198 0.983 0.218 1.991 0.742 0. 0.
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 171 171 221 479 684 1462 0 0
normalized size 1 1. 1.29 2.8 4. 8.55 0. 0.
time (sec) N/A 0.138 0.874 0.184 1.47 0.638 0. 0.
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 176 203 269 787 0 0
normalized size 1 1. 1.87 2.16 2.86 8.37 0. 0.
time (sec) N/A 0.062 0.175 0.164 1.654 0.607 0. 0.
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 69 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.107 8.493 0.302 0. 0. 0. 0.
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 87 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.131 4.125 0.63 0. 0. 0. 0.
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.035 1.173 0.16 0. 0. 0. 0.
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 155 155 795 913 4359 2034 0 0
normalized size 1 1. 5.13 5.89 28.12 13.12 0. 0.
time (sec) N/A 0.229 6.727 0.213 3.246 0.619 0. 0.
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 127 127 374 573 2626 1439 0 0
normalized size 1 1. 2.94 4.51 20.68 11.33 0. 0.
time (sec) N/A 0.197 6.445 0.194 2.369 0.565 0. 0.
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 97 97 198 297 872 950 0 0
normalized size 1 1. 2.04 3.06 8.99 9.79 0. 0.
time (sec) N/A 0.13 6.318 0.152 2.282 0.543 0. 0.
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 82 49 394 242 100 1856
normalized size 1 1. 2. 1.2 9.61 5.9 2.44 45.27
time (sec) N/A 0.026 0.451 0.041 1.683 0.49 1.291 1.607
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.036 4.647 0.332 0. 0. 0. 0.
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.034 2.418 0.447 0. 0. 0. 0.
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 37 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.075 10.297 0.18 0. 0. 0. 0.
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 416 416 966 1673 9385 6342 0 0
normalized size 1 1. 2.32 4.02 22.56 15.25 0. 0.
time (sec) N/A 0.502 8.439 0.381 18.885 1.049 0. 0.
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 308 308 528 1056 5227 4091 0 0
normalized size 1 1. 1.71 3.43 16.97 13.28 0. 0.
time (sec) N/A 0.344 5.051 0.342 6.897 0.809 0. 0.
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 179 179 471 546 2607 2379 0 0
normalized size 1 1. 2.63 3.05 14.56 13.29 0. 0.
time (sec) N/A 0.223 7.595 0.281 2.404 0.688 0. 0.
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 260 246 1037 1191 0 0
normalized size 1 1. 2.41 2.28 9.6 11.03 0. 0.
time (sec) N/A 0.107 1.836 0.139 1.909 0.576 0. 0.
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 37 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.081 36.712 2.23 0. 0. 0. 0.
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 37 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.08 42.607 3.468 0. 0. 0. 0.
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 406 406 1168 476 1874 856 0 2724
normalized size 1 1. 2.88 1.17 4.62 2.11 0. 6.71
time (sec) N/A 0.667 16.39 0.033 2.533 0.653 0. 1.521
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 353 353 676 384 1793 716 0 1513
normalized size 1 1. 1.92 1.09 5.08 2.03 0. 4.29
time (sec) N/A 0.526 9.261 0.031 2.521 0.624 0. 1.354
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 304 304 278 296 1656 613 0 659
normalized size 1 1. 0.91 0.97 5.45 2.02 0. 2.17
time (sec) N/A 0.416 6.64 0.03 2.401 0.591 0. 1.227
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 304 304 278 296 1656 613 0 659
normalized size 1 1. 0.91 0.97 5.45 2.02 0. 2.17
time (sec) N/A 0.419 6.643 0.03 2.215 0.592 0. 1.257
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 353 353 676 384 1793 716 0 1513
normalized size 1 1. 1.92 1.09 5.08 2.03 0. 4.29
time (sec) N/A 0.528 9.215 0.029 2.497 0.611 0. 1.39
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 406 406 1168 476 1874 856 0 2724
normalized size 1 1. 2.88 1.17 4.62 2.11 0. 6.71
time (sec) N/A 0.627 16.242 0.029 2.42 0.672 0. 1.532
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 228 228 206 251 922 840 0 1467
normalized size 1 1. 0.9 1.1 4.04 3.68 0. 6.43
time (sec) N/A 0.398 3.657 0.037 2.088 0.652 0. 1.686
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 200 200 187 206 886 621 0 805
normalized size 1 1. 0.94 1.03 4.43 3.1 0. 4.02
time (sec) N/A 0.329 3.155 0.036 1.947 0.597 0. 1.458
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 174 174 161 159 817 447 0 347
normalized size 1 1. 0.93 0.91 4.7 2.57 0. 1.99
time (sec) N/A 0.27 0.885 0.036 1.936 0.569 0. 1.29
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 174 174 161 159 817 447 0 347
normalized size 1 1. 0.93 0.91 4.7 2.57 0. 1.99
time (sec) N/A 0.249 0.137 0.036 2.013 0.572 0. 1.3
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 200 200 187 206 886 621 0 805
normalized size 1 1. 0.94 1.03 4.43 3.1 0. 4.02
time (sec) N/A 0.318 1.694 0.036 2.16 0.606 0. 1.439
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 228 228 206 251 922 840 0 1467
normalized size 1 1. 0.9 1.1 4.04 3.68 0. 6.43
time (sec) N/A 0.378 2.734 0.034 2.138 0.649 0. 1.639
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes NO TBD TBD TBD TBD TBD
size 615 615 3348 719 2943 1337 0 4084
normalized size 1 1. 5.44 1.17 4.79 2.17 0. 6.64
time (sec) N/A 1.153 25.825 0.043 3.005 0.843 0. 2.235
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes NO TBD TBD TBD TBD TBD
size 534 534 1041 580 2790 1118 0 2269
normalized size 1 1. 1.95 1.09 5.22 2.09 0. 4.25
time (sec) N/A 0.879 12.284 0.042 2.901 0.78 0. 1.807
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 459 459 432 447 2531 952 0 988
normalized size 1 1. 0.94 0.97 5.51 2.07 0. 2.15
time (sec) N/A 0.671 7.401 0.041 2.849 0.712 0. 1.425
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 459 459 432 447 2531 952 0 988
normalized size 1 1. 0.94 0.97 5.51 2.07 0. 2.15
time (sec) N/A 0.658 7.346 0.042 2.759 0.721 0. 1.455
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes NO TBD TBD TBD TBD TBD
size 534 534 1041 580 2790 1118 0 2269
normalized size 1 1. 1.95 1.09 5.22 2.09 0. 4.25
time (sec) N/A 0.801 12.183 0.038 2.936 0.767 0. 1.815
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes NO TBD TBD TBD TBD TBD
size 615 615 3348 719 2943 1337 0 4084
normalized size 1 1. 5.44 1.17 4.79 2.17 0. 6.64
time (sec) N/A 0.953 25.314 0.043 2.95 0.832 0. 2.218
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 273 273 245 0 0 487 0 0
normalized size 1 1. 0.9 0. 0. 1.78 0. 0.
time (sec) N/A 0.288 0.248 0.266 0. 0.544 0. 0.
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 260 260 158 1150 1305 802 976 487
normalized size 1 1. 0.61 4.42 5.02 3.08 3.75 1.87
time (sec) N/A 0.234 1.883 0.049 1.394 0.536 21.918 1.11
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 196 196 135 594 741 518 634 325
normalized size 1 1. 0.69 3.03 3.78 2.64 3.23 1.66
time (sec) N/A 0.161 1.012 0.021 1.268 0.506 11.69 1.145
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 134 134 89 260 355 294 350 196
normalized size 1 1. 0.66 1.94 2.65 2.19 2.61 1.46
time (sec) N/A 0.087 0.486 0.019 1.155 0.493 13.536 1.105
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 75 85 124 147 160 101
normalized size 1 1. 1.04 1.18 1.72 2.04 2.22 1.4
time (sec) N/A 0.047 0.152 0.02 1.112 0.488 2.812 1.115
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 129 129 110 178 370 421 0 8162
normalized size 1 1. 0.85 1.38 2.87 3.26 0. 63.27
time (sec) N/A 0.212 0.344 0.021 1.487 0.481 0. 1.755
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 179 179 151 256 406 597 0 0
normalized size 1 1. 0.84 1.43 2.27 3.34 0. 0.
time (sec) N/A 0.268 1.673 0.023 1.741 0.558 0. 0.
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 231 231 197 329 454 918 0 0
normalized size 1 1. 0.85 1.42 1.97 3.97 0. 0.
time (sec) N/A 0.329 3.792 0.023 2.254 0.625 0. 0.
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 287 287 316 404 521 1256 0 0
normalized size 1 1. 1.1 1.41 1.82 4.38 0. 0.
time (sec) N/A 0.451 2.55 0.024 2.91 0.683 0. 0.
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 419 419 409 0 0 726 0 0
normalized size 1 1. 0.98 0. 0. 1.73 0. 0.
time (sec) N/A 0.435 0.606 0.331 0. 0.577 0. 0.
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 330 330 563 1842 1808 1245 1098 717
normalized size 1 1. 1.71 5.58 5.48 3.77 3.33 2.17
time (sec) N/A 0.368 3.757 0.052 1.489 0.568 48.01 1.147
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 259 259 195 1016 1034 798 690 474
normalized size 1 1. 0.75 3.92 3.99 3.08 2.66 1.83
time (sec) N/A 0.273 2.217 0.021 1.268 0.54 53.576 1.118
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 184 184 252 484 506 470 382 282
normalized size 1 1. 1.37 2.63 2.75 2.55 2.08 1.53
time (sec) N/A 0.19 1.011 0.02 1.177 0.5 11.542 1.114
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 110 175 188 235 163 143
normalized size 1 1. 1.01 1.61 1.72 2.16 1.5 1.31
time (sec) N/A 0.094 0.365 0.023 1.053 0.488 5.467 1.116
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 185 185 154 252 551 612 0 0
normalized size 1 1. 0.83 1.36 2.98 3.31 0. 0.
time (sec) N/A 0.28 0.521 0.023 1.627 0.497 0. 0.
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 257 257 212 367 593 867 0 0
normalized size 1 1. 0.82 1.43 2.31 3.37 0. 0.
time (sec) N/A 0.345 2.139 0.026 1.968 0.632 0. 0.
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 338 338 283 473 640 1312 0 0
normalized size 1 1. 0.84 1.4 1.89 3.88 0. 0.
time (sec) N/A 0.438 3.296 0.026 2.603 0.724 0. 0.
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 413 413 451 583 707 1814 0 0
normalized size 1 1. 1.09 1.41 1.71 4.39 0. 0.
time (sec) N/A 0.538 3.48 0.024 3.975 0.845 0. 0.
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 285 285 255 0 0 487 0 0
normalized size 1 1. 0.89 0. 0. 1.71 0. 0.
time (sec) N/A 0.317 3.412 0.264 0. 0.557 0. 0.
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 233 233 153 2061 1395 1153 1334 485
normalized size 1 1. 0.66 8.85 5.99 4.95 5.73 2.08
time (sec) N/A 0.266 1.553 0.074 1.448 0.562 46.242 1.131
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 181 181 132 1100 813 747 867 325
normalized size 1 1. 0.73 6.08 4.49 4.13 4.79 1.8
time (sec) N/A 0.219 2.39 0.027 1.334 0.533 60.503 1.132
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 129 129 91 498 409 447 471 196
normalized size 1 1. 0.71 3.86 3.17 3.47 3.65 1.52
time (sec) N/A 0.144 0.545 0.024 1.238 0.504 22.629 1.145
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 63 176 161 221 201 101
normalized size 1 1. 0.82 2.29 2.09 2.87 2.61 1.31
time (sec) N/A 0.074 0.223 0.022 1.18 0.486 11.178 1.122
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 129 129 110 178 370 421 0 8162
normalized size 1 1. 0.85 1.38 2.87 3.26 0. 63.27
time (sec) N/A 0.246 0.309 0.024 1.535 0.491 0. 1.783
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 179 179 189 256 406 632 0 0
normalized size 1 1. 1.06 1.43 2.27 3.53 0. 0.
time (sec) N/A 0.297 0.981 0.028 1.761 0.597 0. 0.
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 235 235 239 329 454 1010 0 0
normalized size 1 1. 1.02 1.4 1.93 4.3 0. 0.
time (sec) N/A 0.353 1.091 0.028 2.301 0.706 0. 0.
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 287 287 554 404 521 1419 0 0
normalized size 1 1. 1.93 1.41 1.82 4.94 0. 0.
time (sec) N/A 0.419 5.131 0.028 3.221 0.762 0. 0.
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 151 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.172 7.752 0.192 0. 0. 0. 0.
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 307 307 2828 1492 2207 3460 0 0
normalized size 1 1. 9.21 4.86 7.19 11.27 0. 0.
time (sec) N/A 0.34 6.522 0.49 2.635 0.922 0. 0.
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 246 246 1918 1001 1305 2437 0 0
normalized size 1 1. 7.8 4.07 5.3 9.91 0. 0.
time (sec) N/A 0.278 6.402 0.438 2.02 0.825 0. 0.
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 181 181 564 590 705 1538 0 0
normalized size 1 1. 3.12 3.26 3.9 8.5 0. 0.
time (sec) N/A 0.227 2.988 0.47 1.678 0.689 0. 0.
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 114 114 131 271 300 844 0 0
normalized size 1 1. 1.15 2.38 2.63 7.4 0. 0.
time (sec) N/A 0.128 0.353 0.383 1.536 0.602 0. 0.
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 81 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.144 0.794 0.355 0. 0. 0. 0.
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 101 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.17 2.499 0.63 0. 0. 0. 0.
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 153 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.239 3.96 0.164 0. 0. 0. 0.
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-1) C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 299 299 798 1056 0 3009 0 0
normalized size 1 1. 2.67 3.53 0. 10.06 0. 0.
time (sec) N/A 0.293 1.722 0.209 0. 0.887 0. 0.
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 216 216 539 649 14876 2018 0 0
normalized size 1 1. 2.5 3. 68.87 9.34 0. 0.
time (sec) N/A 0.222 1.464 0.189 6.757 0.726 0. 0.
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 139 139 310 332 4435 1172 0 0
normalized size 1 1. 2.23 2.39 31.91 8.43 0. 0.
time (sec) N/A 0.149 3.956 0.16 5.39 0.611 0. 0.
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 104 124 2849 269 0 2655
normalized size 1 1. 1.79 2.14 49.12 4.64 0. 45.78
time (sec) N/A 0.063 0.707 0.119 1.184 0.521 0. 2.221
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 74 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.214 3.705 0.346 0. 0. 0. 0.
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 92 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.256 4.008 0.492 0. 0. 0. 0.
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.036 5.536 0.178 0. 0. 0. 0.
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 302 302 1534 1868 9600 3915 0 0
normalized size 1 1. 5.08 6.19 31.79 12.96 0. 0.
time (sec) N/A 0.462 7.107 0.403 19.409 0.707 0. 0.
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 256 256 994 1194 5335 2637 0 0
normalized size 1 1. 3.88 4.66 20.84 10.3 0. 0.
time (sec) N/A 0.368 6.881 0.363 6.142 0.621 0. 0.
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 168 168 540 635 2654 1581 0 0
normalized size 1 1. 3.21 3.78 15.8 9.41 0. 0.
time (sec) N/A 0.266 6.672 0.313 2.509 0.564 0. 0.
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 109 109 240 281 1133 859 0 0
normalized size 1 1. 2.2 2.58 10.39 7.88 0. 0.
time (sec) N/A 0.128 6.144 0.161 1.696 0.537 0. 0.
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.04 8.051 2.391 0. 0. 0. 0.
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.037 9.165 3.544 0. 0. 0. 0.
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 407 407 550 470 1879 944 0 2680
normalized size 1 1. 1.35 1.15 4.62 2.32 0. 6.58
time (sec) N/A 0.797 13.652 0.035 2.311 0.698 0. 1.775
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 351 351 393 376 1806 749 0 1485
normalized size 1 1. 1.12 1.07 5.15 2.13 0. 4.23
time (sec) N/A 0.556 3.297 0.035 2.256 0.675 0. 1.533
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 299 299 264 286 1661 599 0 643
normalized size 1 1. 0.88 0.96 5.56 2. 0. 2.15
time (sec) N/A 0.447 0.835 0.032 2.184 0.61 0. 1.338
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 299 299 264 286 1661 599 0 643
normalized size 1 1. 0.88 0.96 5.56 2. 0. 2.15
time (sec) N/A 0.455 0.391 0.033 2.36 0.614 0. 1.324
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 351 351 393 376 1806 749 0 1485
normalized size 1 1. 1.12 1.07 5.15 2.13 0. 4.23
time (sec) N/A 0.572 1.619 0.033 2.276 0.64 0. 1.537
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 407 407 550 470 1879 944 0 2680
normalized size 1 1. 1.35 1.15 4.62 2.32 0. 6.58
time (sec) N/A 0.672 10.917 0.034 2.242 0.694 0. 1.741
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes NO TBD TBD TBD TBD TBD
size 615 615 1795 716 2940 1397 0 4077
normalized size 1 1. 2.92 1.16 4.78 2.27 0. 6.63
time (sec) N/A 1.145 23.492 0.051 2.648 0.839 0. 2.167
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 534 534 1043 583 2790 1162 0 2271
normalized size 1 1. 1.95 1.09 5.22 2.18 0. 4.25
time (sec) N/A 0.838 12.585 0.051 2.617 0.766 0. 1.78
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 459 459 435 444 2531 973 0 988
normalized size 1 1. 0.95 0.97 5.51 2.12 0. 2.15
time (sec) N/A 0.693 7.043 0.049 2.535 0.716 0. 1.442
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 459 459 435 444 2531 973 0 988
normalized size 1 1. 0.95 0.97 5.51 2.12 0. 2.15
time (sec) N/A 0.672 7.044 0.05 2.515 0.719 0. 1.421
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 534 534 1043 583 2790 1162 0 2271
normalized size 1 1. 1.95 1.09 5.22 2.18 0. 4.25
time (sec) N/A 0.858 12.406 0.052 2.625 0.769 0. 1.812
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A C A F(-1) C
verified N/A Yes NO TBD TBD TBD TBD TBD
size 615 615 1795 716 2940 1397 0 4077
normalized size 1 1. 2.92 1.16 4.78 2.27 0. 6.63
time (sec) N/A 1.015 23.409 0.051 2.696 0.83 0. 2.129
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 407 407 550 477 1916 1089 0 2677
normalized size 1 1. 1.35 1.17 4.71 2.68 0. 6.58
time (sec) N/A 0.897 5.347 0.043 2.248 0.767 0. 2.7
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 351 351 391 383 1829 821 0 1481
normalized size 1 1. 1.11 1.09 5.21 2.34 0. 4.22
time (sec) N/A 0.628 3.086 0.041 2.221 0.706 0. 2.076
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 299 299 264 293 1681 632 0 643
normalized size 1 1. 0.88 0.98 5.62 2.11 0. 2.15
time (sec) N/A 0.458 1.385 0.041 2.194 0.646 0. 1.555
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 299 299 264 293 1681 632 0 643
normalized size 1 1. 0.88 0.98 5.62 2.11 0. 2.15
time (sec) N/A 0.448 0.613 0.037 2.169 0.652 0. 1.561
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 351 351 391 383 1829 821 0 1481
normalized size 1 1. 1.11 1.09 5.21 2.34 0. 4.22
time (sec) N/A 0.559 0.216 0.039 2.218 0.72 0. 2.078
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 407 407 550 477 1916 1089 0 2677
normalized size 1 1. 1.35 1.17 4.71 2.68 0. 6.58
time (sec) N/A 0.669 3.002 0.04 2.202 0.765 0. 2.743
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 104 150 0 851 0 0
normalized size 1 1. 0.93 1.34 0. 7.6 0. 0.
time (sec) N/A 0.185 0.176 0.106 0. 0.595 0. 0.
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 72 112 0 551 0 0
normalized size 1 1. 0.87 1.35 0. 6.64 0. 0.
time (sec) N/A 0.17 0.1 0.106 0. 0.558 0. 0.
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 33 76 0 138 0 278
normalized size 1 1. 1. 2.3 0. 4.18 0. 8.42
time (sec) N/A 0.055 0.025 0.093 0. 0.505 0. 1.18
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 180 180 159 240 5022 1566 0 0
normalized size 1 1. 0.88 1.33 27.9 8.7 0. 0.
time (sec) N/A 0.401 0.416 0.157 3.474 0.644 0. 0.
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 106 106 108 170 3856 1204 0 0
normalized size 1 1. 1.02 1.6 36.38 11.36 0. 0.
time (sec) N/A 0.278 0.324 0.224 2.631 0.613 0. 0.
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 62 109 2349 640 0 0
normalized size 1 1. 0.85 1.49 32.18 8.77 0. 0.
time (sec) N/A 0.164 0.108 0.126 1.881 0.582 0. 0.
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.018 2.517 0.2 0. 0. 0. 0.
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 157 616 1069 3355 0 0
normalized size 1 1. 0.99 3.9 6.77 21.23 0. 0.
time (sec) N/A 0.21 0.069 0.315 2.058 0.742 0. 0.
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 126 423 662 2367 0 0
normalized size 1 1. 0.95 3.2 5.02 17.93 0. 0.
time (sec) N/A 0.183 0.087 0.289 1.857 0.664 0. 0.
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 100 257 378 1534 0 0
normalized size 1 1. 1.04 2.68 3.94 15.98 0. 0.
time (sec) N/A 0.153 0.041 0.277 1.851 0.597 0. 0.
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 70 123 154 837 0 0
normalized size 1 1. 1.06 1.86 2.33 12.68 0. 0.
time (sec) N/A 0.093 0.015 0.252 1.726 0.572 0. 0.
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.02 3.57 0.222 0. 0. 0. 0.
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 16 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.02 5.364 0.235 0. 0. 0. 0.
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 147 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.136 6.586 0.323 0. 0. 0. 0.
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 275 275 557 901 1247 2591 0 0
normalized size 1 1. 2.03 3.28 4.53 9.42 0. 0.
time (sec) N/A 0.215 1.546 0.418 2.243 0.776 0. 0.
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 186 186 315 512 689 1666 0 0
normalized size 1 1. 1.69 2.75 3.7 8.96 0. 0.
time (sec) N/A 0.146 0.883 0.361 1.989 0.677 0. 0.
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-1) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 213 221 0 905 0 0
normalized size 1 1. 2.07 2.15 0. 8.79 0. 0.
time (sec) N/A 0.068 0.424 0.227 0. 0.595 0. 0.
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 68 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.11 6.078 0.34 0. 0. 0. 0.
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 86 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.139 7.24 0.607 0. 0. 0. 0.
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 151 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.171 7.772 0.274 0. 0. 0. 0.
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 251 251 1720 641 925 2753 0 0
normalized size 1 1. 6.85 2.55 3.69 10.97 0. 0.
time (sec) N/A 0.298 7.147 0.285 2.097 0.843 0. 0.
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 184 184 518 379 512 1746 0 0
normalized size 1 1. 2.82 2.06 2.78 9.49 0. 0.
time (sec) N/A 0.228 6.459 0.353 1.835 0.706 0. 0.
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 134 179 196 965 0 0
normalized size 1 1. 1.17 1.56 1.7 8.39 0. 0.
time (sec) N/A 0.128 0.304 0.355 1.77 0.614 0. 0.
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 81 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.151 0.779 0.488 0. 0. 0. 0.
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 101 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.176 2.503 0.812 0. 0. 0. 0.
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.183 5.942 0.141 0. 0. 0. 0.
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 247 247 578 1242 2402 6280 0 0
normalized size 1 1. 2.34 5.03 9.72 25.43 0. 0.
time (sec) N/A 0.229 1.379 0.329 2.506 1.04 0. 0.
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 197 197 350 816 1435 4410 0 0
normalized size 1 1. 1.78 4.14 7.28 22.39 0. 0.
time (sec) N/A 0.166 1.016 0.313 2.201 0.865 0. 0.
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 127 127 213 469 797 2850 0 0
normalized size 1 1. 1.68 3.69 6.28 22.44 0. 0.
time (sec) N/A 0.117 0.628 0.297 1.975 0.738 0. 0.
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 141 208 360 1544 0 0
normalized size 1 1. 1.99 2.93 5.07 21.75 0. 0.
time (sec) N/A 0.056 0.119 0.234 1.95 0.631 0. 0.
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.045 4.53 0.2 0. 0. 0. 0.
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.041 5.883 0.197 0. 0. 0. 0.
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.197 9.154 0.163 0. 0. 0. 0.
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 350 350 739 1158 4374 4446 0 0
normalized size 1 1. 2.11 3.31 12.5 12.7 0. 0.
time (sec) N/A 0.64 6.417 0.679 4.389 0.951 0. 0.
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 226 226 593 556 2202 2844 0 0
normalized size 1 1. 2.62 2.46 9.74 12.58 0. 0.
time (sec) N/A 0.384 6.291 0.449 2.355 0.764 0. 0.
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-1) B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 131 131 517 235 0 1215 0 0
normalized size 1 1. 3.95 1.79 0. 9.27 0. 0.
time (sec) N/A 0.135 2.947 0.299 0. 0.607 0. 0.
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.16 11.7 2.356 0. 0. 0. 0.
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.19 11.908 2.649 0. 0. 0. 0.
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.237 11.017 0.178 0. 0. 0. 0.
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 325 325 1477 1223 6939 8092 0 0
normalized size 1 1. 4.54 3.76 21.35 24.9 0. 0.
time (sec) N/A 0.823 6.993 0.421 7.781 1.261 0. 0.
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 201 201 872 632 3405 4868 0 0
normalized size 1 1. 4.34 3.14 16.94 24.22 0. 0.
time (sec) N/A 0.443 6.757 0.369 2.945 0.915 0. 0.
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 210 270 1397 2457 0 0
normalized size 1 1. 1.49 1.91 9.91 17.43 0. 0.
time (sec) N/A 0.139 0.958 0.173 2.219 0.722 0. 0.
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.147 14.386 3.076 0. 0. 0. 0.
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.192 16.889 4.781 0. 0. 0. 0.
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.142 0.93 0.162 0. 0. 0. 0.
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 227 227 428 767 3974 2930 0 0
normalized size 1 1. 1.89 3.38 17.51 12.91 0. 0.
time (sec) N/A 0.186 1.24 0.315 3.043 0.785 0. 0.
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 159 159 256 463 2395 1993 0 0
normalized size 1 1. 1.61 2.91 15.06 12.53 0. 0.
time (sec) N/A 0.126 0.855 0.274 2.261 0.669 0. 0.
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-1) B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 97 97 174 227 0 1166 0 0
normalized size 1 1. 1.79 2.34 0. 12.02 0. 0.
time (sec) N/A 0.068 1.713 0.135 0. 0.596 0. 0.
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 93 49 350 163 0 2075
normalized size 1 1. 3.21 1.69 12.07 5.62 0. 71.55
time (sec) N/A 0.019 0.047 0.022 1.5 0.493 0. 1.685
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.094 11.262 0.268 0. 0. 0. 0.
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.115 19.338 0.32 0. 0. 0. 0.
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.036 3.14 0.166 0. 0. 0. 0.
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 128 128 424 348 1840 913 0 0
normalized size 1 1. 3.31 2.72 14.38 7.13 0. 0.
time (sec) N/A 0.21 6.564 0.197 1.93 0.503 0. 0.
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 96 96 276 191 563 522 0 0
normalized size 1 1. 2.88 1.99 5.86 5.44 0. 0.
time (sec) N/A 0.141 6.381 0.162 1.845 0.49 0. 0.
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 76 47 320 131 65 301
normalized size 1 1. 1.9 1.18 8. 3.28 1.62 7.52
time (sec) N/A 0.028 0.265 0.044 1.467 0.472 0.373 1.403
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.04 3.957 0.264 0. 0. 0. 0.
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.039 5.266 0.324 0. 0. 0. 0.
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 149 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.157 5.097 0.17 0. 0. 0. 0.
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 228 228 532 677 14923 2237 0 0
normalized size 1 1. 2.33 2.97 65.45 9.81 0. 0.
time (sec) N/A 0.211 1.61 0.296 6.936 0.745 0. 0.
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-1) B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 145 145 362 345 0 1316 0 0
normalized size 1 1. 2.5 2.38 0. 9.08 0. 0.
time (sec) N/A 0.131 3.118 0.158 0. 0.637 0. 0.
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 107 123 2866 251 0 3729
normalized size 1 1. 1.91 2.2 51.18 4.48 0. 66.59
time (sec) N/A 0.054 0.316 0.129 1.763 0.512 0. 2.529
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 75 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.15 3.818 0.299 0. 0. 0. 0.
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 93 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.181 4.183 0.378 0. 0. 0. 0.
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.248 8.947 0.16 0. 0. 0. 0.
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 469 469 694 1866 7688 6263 0 0
normalized size 1 1. 1.48 3.98 16.39 13.35 0. 0.
time (sec) N/A 0.795 3.63 0.758 9.458 1.358 0. 0.
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 343 343 473 1152 4327 4352 0 0
normalized size 1 1. 1.38 3.36 12.62 12.69 0. 0.
time (sec) N/A 0.573 1.439 0.651 4.02 1.005 0. 0.
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F(-1) F(-1)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 219 219 317 568 2157 2773 0 0
normalized size 1 1. 1.45 2.59 9.85 12.66 0. 0.
time (sec) N/A 0.377 2.588 0.448 2.265 0.776 0. 0.
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 122 212 160 1085 1046 0 0
normalized size 1 1.08 1.88 1.42 9.6 9.26 0. 0.
time (sec) N/A 0.13 0.504 0.29 2.046 0.581 0. 0.
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.153 9.847 2.332 0. 0. 0. 0.
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.18 10.095 2.663 0. 0. 0. 0.
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.19 2.785 0.173 0. 0. 0. 0.
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 118 285 687 3179 4263 0 0
normalized size 1 1. 2.42 5.82 26.94 36.13 0. 0.
time (sec) N/A 0.28 2.231 0.336 2.355 0.898 0. 0.
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 277 351 1049 2573 0 0
normalized size 1 1. 3.15 3.99 11.92 29.24 0. 0.
time (sec) N/A 0.191 1.759 0.332 2.129 0.746 0. 0.
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 32 182 416 197 0 0
normalized size 1 1. 0.91 5.2 11.89 5.63 0. 0.
time (sec) N/A 0.059 0.204 0.074 1.501 0.5 0. 0.
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.094 7.335 0.518 0. 0. 0. 0.
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.086 7.586 0.811 0. 0. 0. 0.
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.215 11.762 0.21 0. 0. 0. 0.
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 601 601 907 1613 10858 7588 0 0
normalized size 1 1. 1.51 2.68 18.07 12.63 0. 0.
time (sec) N/A 2.313 8.316 0.727 18.615 1.347 0. 0.
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 305 305 889 802 5157 4454 0 0
normalized size 1 1. 2.91 2.63 16.91 14.6 0. 0.
time (sec) N/A 0.865 7.923 0.508 5.042 0.958 0. 0.
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 174 520 267 2029 1652 0 0
normalized size 1 1.13 3.38 1.73 13.18 10.73 0. 0.
time (sec) N/A 0.191 5.329 0.352 2.806 0.634 0. 0.
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A F(-1)
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.201 23.06 2.755 0. 0. 0. 0.
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.224 31.86 4.368 0. 0. 0. 0.
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.924 11.334 0.102 0. 0. 0. 0.
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 387 387 672 0 5385 4625 0 0
normalized size 1 1. 1.74 0. 13.91 11.95 0. 0.
time (sec) N/A 0.96 7.193 1.401 3.74 0.911 0. 0.
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 235 235 613 429 2996 3302 0 0
normalized size 1 1. 2.61 1.83 12.75 14.05 0. 0.
time (sec) N/A 0.537 6.663 0.402 2.521 0.77 0. 0.
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 282 182 1598 1459 0 0
normalized size 1 1. 2.24 1.44 12.68 11.58 0. 0.
time (sec) N/A 0.168 2.563 0.299 2.344 0.608 0. 0.
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.5 49.516 0.784 0. 0. 0. 0.
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.513 20.98 0.884 0. 0. 0. 0.
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.152 2.416 0.17 0. 0. 0. 0.
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 139 139 418 489 4641 2211 0 0
normalized size 1 1. 3.01 3.52 33.39 15.91 0. 0.
time (sec) N/A 0.258 6.585 0.193 2.318 0.777 0. 0.
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 115 115 286 301 900 1374 0 0
normalized size 1 1. 2.49 2.62 7.83 11.95 0. 0.
time (sec) N/A 0.174 6.395 0.158 2.241 0.691 0. 0.
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 66 95 1334 208 0 6040
normalized size 1 1. 1.2 1.73 24.25 3.78 0. 109.82
time (sec) N/A 0.062 0.524 0.029 1.575 0.508 0. 2.833
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 48 61 382 95 0 771
normalized size 1 1. 1.37 1.74 10.91 2.71 0. 22.03
time (sec) N/A 0.032 0.062 0.027 0.977 0.465 0. 1.237
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.106 7.371 0.367 0. 0. 0. 0.
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.128 10.436 0.382 0. 0. 0. 0.
Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 37 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.084 8.989 0.174 0. 0. 0. 0.
Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 337 337 530 1127 5168 3214 0 0
normalized size 1 1. 1.57 3.34 15.34 9.54 0. 0.
time (sec) N/A 0.408 3.635 0.355 6.806 0.945 0. 0.
Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 193 193 526 584 2556 2033 0 0
normalized size 1 1. 2.73 3.03 13.24 10.53 0. 0.
time (sec) N/A 0.271 7.225 0.31 2.898 0.747 0. 0.
Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-1) B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 117 117 555 267 0 1169 0 0
normalized size 1 1. 4.74 2.28 0. 9.99 0. 0.
time (sec) N/A 0.129 6.522 0.162 0. 0.624 0. 0.
Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 37 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.091 26.7 1.455 0. 0. 0. 0.
Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 37 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.089 29.522 2.21 0. 0. 0. 0.
Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.035 5.543 0.197 0. 0. 0. 0.
Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 259 259 803 720 3247 1443 0 0
normalized size 1 1. 3.1 2.78 12.54 5.57 0. 0.
time (sec) N/A 0.356 6.923 0.368 4.481 0.537 0. 0.
Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 169 169 454 400 1655 883 0 0
normalized size 1 1. 2.69 2.37 9.79 5.22 0. 0.
time (sec) N/A 0.222 6.64 0.321 2.442 0.518 0. 0.
Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A B A F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 108 108 240 183 701 447 0 0
normalized size 1 1. 2.22 1.69 6.49 4.14 0. 0.
time (sec) N/A 0.117 6.154 0.159 2.042 0.493 0. 0.
Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.039 6.457 1.853 0. 0. 0. 0.
Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 18 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.037 7.034 2.576 0. 0. 0. 0.
Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.269 9.561 0.185 0. 0. 0. 0.
Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 399 399 2090 1729 11840 8008 0 0
normalized size 1 1. 5.24 4.33 29.67 20.07 0. 0.
time (sec) N/A 0.971 7.508 0.483 23.457 1.968 0. 0.
Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 325 325 1486 1115 6639 5605 0 0
normalized size 1 1. 4.57 3.43 20.43 17.25 0. 0.
time (sec) N/A 0.64 6.926 0.4 7.39 1.418 0. 0.
Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 201 201 875 614 3297 3629 0 0
normalized size 1 1. 4.35 3.05 16.4 18.05 0. 0.
time (sec) N/A 0.414 6.742 0.339 2.849 0.963 0. 0.
Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 141 212 270 1397 2072 0 0
normalized size 1 1.01 1.53 1.94 10.05 14.91 0. 0.
time (sec) N/A 0.135 0.565 0.158 2.224 0.752 0. 0.
Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.189 9.068 3.113 0. 0. 0. 0.
Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.209 6.709 4.859 0. 0. 0. 0.
Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.233 11.962 0.215 0. 0. 0. 0.
Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 486 486 819 1629 10843 5646 0 0
normalized size 1 1. 1.69 3.35 22.31 11.62 0. 0.
time (sec) N/A 1.206 7.913 0.738 20.687 1.453 0. 0.
Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 341 341 889 770 5154 3596 0 0
normalized size 1 1. 2.61 2.26 15.11 10.55 0. 0.
time (sec) N/A 0.648 7.562 0.499 5.443 0.973 0. 0.
Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F(-1) B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 162 182 669 344 0 1644 0 0
normalized size 1 1.12 4.13 2.12 0. 10.15 0. 0.
time (sec) N/A 0.196 6.577 0.355 0. 0.696 0. 0.
Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A F(-1) F(-1)
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.187 21.19 2.754 0. 0. 0. 0.
Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.197 26.433 4.312 0. 0. 0. 0.
Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.265 10.558 0.187 0. 0. 0. 0.
Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 318 318 582 1329 7574 9802 0 0
normalized size 1 1. 1.83 4.18 23.82 30.82 0. 0.
time (sec) N/A 0.321 9.182 0.295 11.693 1.741 0. 0.
Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 190 190 381 716 3676 5801 0 0
normalized size 1 1. 2.01 3.77 19.35 30.53 0. 0.
time (sec) N/A 0.213 8.167 0.239 3.668 1.117 0. 0.
Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 236 325 1455 3087 0 0
normalized size 1 1. 2.15 2.95 13.23 28.06 0. 0.
time (sec) N/A 0.106 2.211 0.209 2.468 0.797 0. 0.
Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.087 29.331 2.741 0. 0. 0. 0.
Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.088 33.482 4.84 0. 0. 0. 0.
Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 73 0 0 0 0 0
normalized size 1 1. 0.88 0. 0. 0. 0. 0.
time (sec) N/A 0.054 0.335 0.095 0. 0. 0. 0.
Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 51 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.04 0.39 0.087 0. 0. 0. 0.
Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 52 0 0 0 0 0
normalized size 1 1. 0.87 0. 0. 0. 0. 0.
time (sec) N/A 0.039 0.152 0.092 0. 0. 0. 0.
Problem 331 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B C F F(-2) F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 33 33 181 310 0 0 0 0
normalized size 1 1. 5.48 9.39 0. 0. 0. 0.
time (sec) N/A 0.026 1.771 0.212 0. 0. 0. 0.
Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 33 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 0.165 0.089 0. 0. 0. 0.
Problem 333 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 54 0 0 0 0 0
normalized size 1 1. 0.9 0. 0. 0. 0. 0.
time (sec) N/A 0.036 0.198 0.087 0. 0. 0. 0.
Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 53 0 0 0 0 0
normalized size 1 1. 0.88 0. 0. 0. 0. 0.
time (sec) N/A 0.038 0.24 0.09 0. 0. 0. 0.
Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 65 0 0 0 0 0
normalized size 1 1. 0.78 0. 0. 0. 0. 0.
time (sec) N/A 0.048 0.276 0.09 0. 0. 0. 0.
Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 65 0 0 0 0 0
normalized size 1 1. 0.63 0. 0. 0. 0. 0.
time (sec) N/A 0.062 0.287 0.101 0. 0. 0. 0.
Problem 337 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 61 0 0 0 0 0
normalized size 1 1. 0.76 0. 0. 0. 0. 0.
time (sec) N/A 0.049 0.243 0.095 0. 0. 0. 0.
Problem 338 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 54 0 0 0 0 0
normalized size 1 1. 0.68 0. 0. 0. 0. 0.
time (sec) N/A 0.053 0.195 0.096 0. 0. 0. 0.
Problem 339 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 42 0 0 0 0 0
normalized size 1 1. 0.79 0. 0. 0. 0. 0.
time (sec) N/A 0.036 0.141 0.101 0. 0. 0. 0.
Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B C F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 132 310 0 0 0 0
normalized size 1 1. 2.49 5.85 0. 0. 0. 0.
time (sec) N/A 0.037 2.211 0.184 0. 0. 0. 0.
Problem 341 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 63 0 0 0 0 0
normalized size 1 1. 0.79 0. 0. 0. 0. 0.
time (sec) N/A 0.046 0.248 0.097 0. 0. 0. 0.
Problem 342 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 212 0 0 0 0 0
normalized size 1 1. 2.65 0. 0. 0. 0. 0.
time (sec) N/A 0.047 8.098 0.097 0. 0. 0. 0.
Problem 343 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 89 0 0 0 0 0
normalized size 1 1. 0.86 0. 0. 0. 0. 0.
time (sec) N/A 0.06 0.339 0.099 0. 0. 0. 0.
Problem 344 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 67 0 0 0 0 0
normalized size 1 1. 0.76 0. 0. 0. 0. 0.
time (sec) N/A 0.044 0.546 0.104 0. 0. 0. 0.
Problem 345 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 108 0 0 0 0 0
normalized size 1 1. 1.66 0. 0. 0. 0. 0.
time (sec) N/A 0.032 0.926 0.092 0. 0. 0. 0.
Problem 346 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 56 0 0 0 0 0
normalized size 1 1. 0.86 0. 0. 0. 0. 0.
time (sec) N/A 0.032 0.189 0.095 0. 0. 0. 0.
Problem 347 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 86 308 0 0 0 0
normalized size 1 1. 2.26 8.11 0. 0. 0. 0.
time (sec) N/A 0.022 1.186 0.204 0. 0. 0. 0.
Problem 348 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 37 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.023 0.181 0.098 0. 0. 0. 0.
Problem 349 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 56 0 0 0 0 0
normalized size 1 1. 0.86 0. 0. 0. 0. 0.
time (sec) N/A 0.032 0.184 0.096 0. 0. 0. 0.
Problem 350 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 57 0 0 0 0 0
normalized size 1 1. 0.88 0. 0. 0. 0. 0.
time (sec) N/A 0.034 0.233 0.092 0. 0. 0. 0.
Problem 351 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 73 0 0 0 0 0
normalized size 1 1. 0.83 0. 0. 0. 0. 0.
time (sec) N/A 0.044 0.299 0.096 0. 0. 0. 0.
Problem 352 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 73 0 0 0 0 0
normalized size 1 1. 0.68 0. 0. 0. 0. 0.
time (sec) N/A 0.058 0.272 0.116 0. 0. 0. 0.
Problem 353 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 65 0 0 0 0 0
normalized size 1 1. 0.76 0. 0. 0. 0. 0.
time (sec) N/A 0.044 0.298 0.11 0. 0. 0. 0.
Problem 354 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 56 0 0 0 0 0
normalized size 1 1. 0.66 0. 0. 0. 0. 0.
time (sec) N/A 0.04 0.184 0.104 0. 0. 0. 0.
Problem 355 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 46 0 0 0 0 0
normalized size 1 1. 0.79 0. 0. 0. 0. 0.
time (sec) N/A 0.032 0.148 0.109 0. 0. 0. 0.
Problem 356 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C C F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 106 308 0 0 0 0
normalized size 1 1. 1.83 5.31 0. 0. 0. 0.
time (sec) N/A 0.032 0.73 0.212 0. 0. 0. 0.
Problem 357 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 65 0 0 0 0 0
normalized size 1 1. 0.76 0. 0. 0. 0. 0.
time (sec) N/A 0.044 0.245 0.102 0. 0. 0. 0.
Problem 358 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 114 0 0 0 0 0
normalized size 1 1. 1.34 0. 0. 0. 0. 0.
time (sec) N/A 0.044 0.998 0.103 0. 0. 0. 0.
Problem 359 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 93 0 0 0 0 0
normalized size 1 1. 0.86 0. 0. 0. 0. 0.
time (sec) N/A 0.06 0.42 0.099 0. 0. 0. 0.
Problem 360 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 22 26 24 54 37 24
normalized size 1 1. 0.71 0.84 0.77 1.74 1.19 0.77
time (sec) N/A 0.041 0.015 0.048 0.99 0.518 6.234 1.143
Problem 361 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 154 260 197 419 0 225
normalized size 1 1. 1.18 1.98 1.5 3.2 0. 1.72
time (sec) N/A 0.188 0.219 0.066 1.049 0.515 0. 1.136
Problem 362 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 109 179 136 278 289 151
normalized size 1 1. 0.95 1.56 1.18 2.42 2.51 1.31
time (sec) N/A 0.141 0.157 0.051 1.028 0.496 146.651 1.144
Problem 363 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 60 107 81 159 155 86
normalized size 1 1. 0.82 1.47 1.11 2.18 2.12 1.18
time (sec) N/A 0.103 0.11 0.054 0.995 0.513 21.014 1.128
Problem 364 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 34 52 36 78 56 36
normalized size 1 1. 0.83 1.27 0.88 1.9 1.37 0.88
time (sec) N/A 0.056 0.02 0.048 1.022 0.492 14.303 1.099
Problem 365 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 49 58 128 182 0 69
normalized size 1 1. 0.86 1.02 2.25 3.19 0. 1.21
time (sec) N/A 0.252 0.063 0.051 1.234 0.505 0. 1.121
Problem 366 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 61 82 437 251 0 150
normalized size 1 1. 0.78 1.05 5.6 3.22 0. 1.92
time (sec) N/A 0.238 0.138 0.054 1.225 0.514 0. 1.12
Problem 367 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 77 104 489 392 0 271
normalized size 1 1. 0.78 1.05 4.94 3.96 0. 2.74
time (sec) N/A 0.329 0.234 0.053 1.372 0.53 0. 1.114
Problem 368 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 198 198 128 1000 329 579 0 6323
normalized size 1 1. 0.65 5.05 1.66 2.92 0. 31.93
time (sec) N/A 0.252 0.693 0.049 1.2 0.565 0. 1.743
Problem 369 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 171 171 105 580 234 389 0 4238
normalized size 1 1. 0.61 3.39 1.37 2.27 0. 24.78
time (sec) N/A 0.184 0.415 0.043 1.129 0.505 0. 1.464
Problem 370 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 73 294 146 240 0 2538
normalized size 1 1. 0.65 2.62 1.3 2.14 0. 22.66
time (sec) N/A 0.136 0.394 0.041 1.073 0.498 0. 1.309
Problem 371 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 46 119 74 132 0 1242
normalized size 1 1. 0.7 1.8 1.12 2. 0. 18.82
time (sec) N/A 0.068 0.135 0.037 1.064 0.484 0. 1.206
Problem 372 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 63 116 158 228 0 1509
normalized size 1 1. 0.89 1.63 2.23 3.21 0. 21.25
time (sec) N/A 0.281 0.153 0.037 1.286 0.489 0. 1.298
Problem 373 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 81 169 159 321 0 0
normalized size 1 1. 0.79 1.66 1.56 3.15 0. 0.
time (sec) N/A 0.276 0.545 0.041 1.329 0.519 0. 0.
Problem 374 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 136 136 104 207 176 516 0 12712
normalized size 1 1. 0.76 1.52 1.29 3.79 0. 93.47
time (sec) N/A 0.374 0.999 0.038 1.45 0.531 0. 2.116
Problem 375 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A C A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 205 205 125 243 190 748 0 0
normalized size 1 1. 0.61 1.19 0.93 3.65 0. 0.
time (sec) N/A 0.38 1.127 0.039 1.511 0.556 0. 0.
Problem 376 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 255 255 459 849 813 2314 0 0
normalized size 1 1. 1.8 3.33 3.19 9.07 0. 0.
time (sec) N/A 0.347 1.572 0.196 1.809 0.756 0. 0.
Problem 377 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B C F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 172 172 223 481 552 1480 0 0
normalized size 1 1. 1.3 2.8 3.21 8.6 0. 0.
time (sec) N/A 0.229 1.156 0.259 1.56 0.638 0. 0.
Problem 378 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 171 205 0 814 0 0
normalized size 1 1. 1.8 2.16 0. 8.57 0. 0.
time (sec) N/A 0.109 0.341 0.249 0. 0.584 0. 0.
Problem 379 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 71 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.21 6.232 0.349 0. 0. 0. 0.
Problem 380 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 91 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.283 6.787 0.7 0. 0. 0. 0.
Problem 381 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 114 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.328 7.249 0.71 0. 0. 0. 0.
Problem 382 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 299 299 2482 956 819 3866 0 0
normalized size 1 1. 8.3 3.2 2.74 12.93 0. 0.
time (sec) N/A 0.503 6.742 0.255 1.679 1.002 0. 0.
Problem 383 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B B C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 242 242 1719 639 597 2703 0 0
normalized size 1 1. 7.1 2.64 2.47 11.17 0. 0.
time (sec) N/A 0.446 6.608 0.214 1.5 0.866 0. 0.
Problem 384 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B A C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 173 173 516 377 406 1728 0 0
normalized size 1 1. 2.98 2.18 2.35 9.99 0. 0.
time (sec) N/A 0.328 6.541 0.243 1.399 0.719 0. 0.
Problem 385 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B A F B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 107 107 254 177 0 937 0 0
normalized size 1 1. 2.37 1.65 0. 8.76 0. 0.
time (sec) N/A 0.18 5.824 0.324 0. 0.622 0. 0.
Problem 386 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 79 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.299 3.157 0.371 0. 0. 0. 0.
Problem 387 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A A A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 102 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.342 4.256 0.663 0. 0. 0. 0.
Problem 388 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 128 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.398 5.894 0.504 0. 0. 0. 0.
Problem 389 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 230 230 547 677 0 2240 0 0
normalized size 1 1. 2.38 2.94 0. 9.74 0. 0.
time (sec) N/A 0.33 2.335 0.302 0. 0.755 0. 0.
Problem 390 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-1) B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 147 147 364 345 0 1320 0 0
normalized size 1 1. 2.48 2.35 0. 8.98 0. 0.
time (sec) N/A 0.212 3.737 0.308 0. 0.638 0. 0.
Problem 391 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 105 87 4496 252 0 3883
normalized size 1 1. 1.84 1.53 78.88 4.42 0. 68.12
time (sec) N/A 0.091 0.454 0.046 1.853 0.514 0. 2.289
Problem 392 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 77 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.266 13.558 0.388 0. 0. 0. 0.
Problem 393 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 97 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.344 16.554 0.5 0. 0. 0. 0.
Problem 394 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade N/A A A A F(-1) A F(-1) A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 120 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.436 18.928 0.996 0. 0. 0. 0.
Problem 395 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 77 81 0 405 0 0
normalized size 1 1. 1.35 1.42 0. 7.11 0. 0.
time (sec) N/A 0.067 0.031 0.192 0. 0.529 0. 0.
Problem 396 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 15 150 73 144 159
normalized size 1 1. 1. 1.07 10.71 5.21 10.29 11.36
time (sec) N/A 0.033 0.023 0.042 1.568 0.486 53.066 1.161
Problem 397 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B B F(-1) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 146 102 0 500 0 0
normalized size 1 1. 2.18 1.52 0. 7.46 0. 0.
time (sec) N/A 0.137 0.274 0.223 0. 0.539 0. 0.

2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [205] had the largest ratio of [ 1.25 ]

Table 2.1Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)
1 A 5 4 1. 20 0.2
2 A 5 4 1. 20 0.2
3 A 5 5 1. 20 0.25
4 A 3 2 1. 20 0.1
5 A 3 3 1. 18 0.167
6 A 5 5 1. 20 0.25
7 A 6 6 1. 20 0.3
8 A 7 6 1. 20 0.3
9 A 8 6 1. 20 0.3
10 A 3 3 1. 8 0.375
11 A 4 4 1. 8 0.5
12 A 5 4 1. 8 0.5
13 A 8 3 1. 22 0.136
14 A 9 5 1. 22 0.227
15 A 7 5 1. 22 0.227
16 A 4 4 1. 22 0.182
17 A 3 2 1. 20 0.1
18 A 8 4 1. 22 0.182
19 A 10 5 1. 22 0.227
20 A 12 5 1. 22 0.227
21 A 14 5 1. 22 0.227
22 A 8 3 1. 22 0.136
23 A 9 4 1. 22 0.182
24 A 9 5 1. 22 0.227
25 A 4 2 1. 22 0.091
26 A 4 3 1. 20 0.15
27 A 8 4 1. 22 0.182
28 A 10 5 1. 22 0.227
29 A 12 5 1. 22 0.227
30 A 14 5 1. 22 0.227
31 A 0 0 0. 0 0.
32 A 7 6 1. 14 0.429
33 A 6 6 1. 14 0.429
34 A 5 5 1. 14 0.357
35 A 4 4 1. 12 0.333
36 A 0 0 0. 0 0.
37 A 0 0 0. 0 0.
38 A 0 0 0. 0 0.
39 A 10 6 1. 20 0.3
40 A 8 5 1. 20 0.25
41 A 6 4 1. 20 0.2
42 A 2 2 1. 18 0.111
43 A 0 0 0. 0 0.
44 A 0 0 0. 0 0.
45 A 0 0 0. 0 0.
46 A 7 7 1. 22 0.318
47 A 6 6 1. 22 0.273
48 A 3 3 1. 22 0.136
49 A 3 3 1. 20 0.15
50 A 0 0 0. 0 0.
51 A 0 0 0. 0 0.
52 A 10 8 1. 22 0.364
53 A 9 8 1. 22 0.364
54 A 8 8 1. 22 0.364
55 A 8 8 1. 22 0.364
56 A 9 8 1. 22 0.364
57 A 10 8 1. 22 0.364
58 A 18 7 1. 24 0.292
59 A 16 7 1. 24 0.292
60 A 14 7 1. 24 0.292
61 A 14 7 1. 24 0.292
62 A 16 7 1. 24 0.292
63 A 18 7 1. 24 0.292
64 A 18 7 1. 24 0.292
65 A 16 7 1. 24 0.292
66 A 14 7 1. 24 0.292
67 A 14 7 1. 24 0.292
68 A 16 7 1. 24 0.292
69 A 18 7 1. 24 0.292
70 A 8 3 1. 22 0.136
71 A 9 5 1. 22 0.227
72 A 7 5 1. 22 0.227
73 A 4 4 1. 22 0.182
74 A 3 2 1. 20 0.1
75 A 8 4 1. 22 0.182
76 A 10 5 1. 22 0.227
77 A 12 5 1. 22 0.227
78 A 14 5 1. 22 0.227
79 A 5 3 1. 24 0.125
80 A 7 3 1. 24 0.125
81 A 6 3 1. 24 0.125
82 A 5 3 1. 24 0.125
83 A 4 3 1. 22 0.136
84 A 5 4 1. 24 0.167
85 A 6 5 1. 24 0.208
86 A 7 5 1. 24 0.208
87 A 8 5 1. 24 0.208
88 A 11 3 1. 24 0.125
89 A 17 3 1. 24 0.125
90 A 14 3 1. 24 0.125
91 A 11 3 1. 24 0.125
92 A 8 3 1. 22 0.136
93 A 11 4 1. 24 0.167
94 A 14 5 1. 24 0.208
95 A 17 5 1. 24 0.208
96 A 20 5 1. 24 0.208
97 A 0 0 0. 0 0.
98 A 17 8 1. 20 0.4
99 A 14 8 1. 20 0.4
100 A 11 7 1. 20 0.35
101 A 8 6 1. 18 0.333
102 A 0 0 0. 0 0.
103 A 0 0 0. 0 0.
104 A 0 0 0. 0 0.
105 A 8 8 1. 16 0.5
106 A 7 7 1. 16 0.438
107 A 6 6 1. 16 0.375
108 A 3 2 1. 14 0.143
109 A 0 0 0. 0 0.
110 A 0 0 0. 0 0.
111 A 0 0 0. 0 0.
112 A 31 7 1. 22 0.318
113 A 25 9 1. 22 0.409
114 A 17 7 1. 22 0.318
115 A 12 5 1. 20 0.25
116 A 0 0 0. 0 0.
117 A 0 0 0. 0 0.
118 A 18 7 1. 24 0.292
119 A 16 7 1. 24 0.292
120 A 14 7 1. 24 0.292
121 A 14 7 1. 24 0.292
122 A 16 7 1. 24 0.292
123 A 18 7 1. 24 0.292
124 A 10 7 1. 26 0.269
125 A 9 7 1. 26 0.269
126 A 8 7 1. 26 0.269
127 A 8 7 1. 26 0.269
128 A 9 7 1. 26 0.269
129 A 10 7 1. 26 0.269
130 A 26 7 1. 26 0.269
131 A 23 7 1. 26 0.269
132 A 20 7 1. 26 0.269
133 A 20 7 1. 26 0.269
134 A 23 7 1. 26 0.269
135 A 26 7 1. 26 0.269
136 A 8 3 1. 22 0.136
137 A 9 4 1. 22 0.182
138 A 9 5 1. 22 0.227
139 A 4 2 1. 22 0.091
140 A 4 3 1. 20 0.15
141 A 8 4 1. 22 0.182
142 A 10 5 1. 22 0.227
143 A 12 5 1. 22 0.227
144 A 14 5 1. 22 0.227
145 A 11 3 1. 24 0.125
146 A 17 3 1. 24 0.125
147 A 14 3 1. 24 0.125
148 A 11 3 1. 24 0.125
149 A 8 3 1. 22 0.136
150 A 11 4 1. 24 0.167
151 A 14 5 1. 24 0.208
152 A 17 5 1. 24 0.208
153 A 20 5 1. 24 0.208
154 A 8 3 1. 24 0.125
155 A 12 3 1. 24 0.125
156 A 10 3 1. 24 0.125
157 A 8 3 1. 24 0.125
158 A 6 3 1. 22 0.136
159 A 8 4 1. 24 0.167
160 A 10 5 1. 24 0.208
161 A 12 5 1. 24 0.208
162 A 14 5 1. 24 0.208
163 A 0 0 0. 0 0.
164 A 13 11 1. 22 0.5
165 A 12 12 1. 22 0.546
166 A 9 8 1. 22 0.364
167 A 8 8 1. 20 0.4
168 A 0 0 0. 0 0.
169 A 0 0 0. 0 0.
170 A 0 0 0. 0 0.
171 A 16 9 1. 22 0.409
172 A 13 8 1. 22 0.364
173 A 10 7 1. 22 0.318
174 A 5 5 1. 20 0.25
175 A 0 0 0. 0 0.
176 A 0 0 0. 0 0.
177 A 0 0 0. 0 0.
178 A 15 8 1. 16 0.5
179 A 13 10 1. 16 0.625
180 A 9 7 1. 16 0.438
181 A 7 7 1. 14 0.5
182 A 0 0 0. 0 0.
183 A 0 0 0. 0 0.
184 A 18 7 1. 24 0.292
185 A 16 7 1. 24 0.292
186 A 14 7 1. 24 0.292
187 A 14 7 1. 24 0.292
188 A 16 7 1. 24 0.292
189 A 18 7 1. 24 0.292
190 A 26 7 1. 26 0.269
191 A 23 7 1. 26 0.269
192 A 20 7 1. 26 0.269
193 A 20 7 1. 26 0.269
194 A 23 7 1. 26 0.269
195 A 26 7 1. 26 0.269
196 A 18 7 1. 26 0.269
197 A 16 7 1. 26 0.269
198 A 14 7 1. 26 0.269
199 A 14 7 1. 26 0.269
200 A 16 7 1. 26 0.269
201 A 18 7 1. 26 0.269
202 A 12 10 1. 12 0.833
203 A 11 10 1. 12 0.833
204 A 6 5 1. 10 0.5
205 A 26 15 1. 12 1.25
206 A 19 11 1. 12 0.917
207 A 16 10 1. 10 1.
208 A 0 0 0. 0 0.
209 A 7 6 1. 14 0.429
210 A 6 6 1. 14 0.429
211 A 5 5 1. 14 0.357
212 A 4 4 1. 12 0.333
213 A 0 0 0. 0 0.
214 A 0 0 0. 0 0.
215 A 0 0 0. 0 0.
216 A 14 8 1. 20 0.4
217 A 11 7 1. 20 0.35
218 A 8 6 1. 18 0.333
219 A 0 0 0. 0 0.
220 A 0 0 0. 0 0.
221 A 0 0 0. 0 0.
222 A 12 12 1. 22 0.546
223 A 9 8 1. 22 0.364
224 A 8 8 1. 20 0.4
225 A 0 0 0. 0 0.
226 A 0 0 0. 0 0.
227 A 0 0 0. 0 0.
228 A 12 6 1. 20 0.3
229 A 10 6 1. 20 0.3
230 A 8 5 1. 20 0.25
231 A 6 4 1. 18 0.222
232 A 0 0 0. 0 0.
233 A 0 0 0. 0 0.
234 A 0 0 0. 0 0.
235 A 23 14 1. 22 0.636
236 A 19 15 1. 22 0.682
237 A 10 10 1. 20 0.5
238 A 0 0 0. 0 0.
239 A 0 0 0. 0 0.
240 A 0 0 0. 0 0.
241 A 22 18 1. 22 0.818
242 A 17 13 1. 22 0.591
243 A 11 10 1. 20 0.5
244 A 0 0 0. 0 0.
245 A 0 0 0. 0 0.
246 A 0 0 0. 0 0.
247 A 10 6 1. 20 0.3
248 A 8 5 1. 20 0.25
249 A 6 4 1. 20 0.2
250 A 2 2 1. 18 0.111
251 A 0 0 0. 0 0.
252 A 0 0 0. 0 0.
253 A 0 0 0. 0 0.
254 A 7 7 1. 16 0.438
255 A 6 6 1. 16 0.375
256 A 3 2 1. 14 0.143
257 A 0 0 0. 0 0.
258 A 0 0 0. 0 0.
259 A 0 0 0. 0 0.
260 A 13 8 1. 22 0.364
261 A 10 7 1. 22 0.318
262 A 5 5 1. 20 0.25
263 A 0 0 0. 0 0.
264 A 0 0 0. 0 0.
265 A 0 0 0. 0 0.
266 A 27 14 1. 22 0.636
267 A 23 14 1. 22 0.636
268 A 19 15 1. 22 0.682
269 A 10 10 1.08 20 0.5
270 A 0 0 0. 0 0.
271 A 0 0 0. 0 0.
272 A 0 0 0. 0 0.
273 A 7 7 1. 24 0.292
274 A 6 6 1. 24 0.25
275 A 3 3 1. 22 0.136
276 A 0 0 0. 0 0.
277 A 0 0 0. 0 0.
278 A 0 0 0. 0 0.
279 A 64 24 1. 24 1.
280 A 36 22 1. 24 0.917
281 A 13 12 1.13 22 0.546
282 A 0 0 0. 0 0.
283 A 0 0 0. 0 0.
284 A 0 0 0. 0 0.
285 A 40 18 1. 20 0.9
286 A 29 19 1. 20 0.95
287 A 13 12 1. 18 0.667
288 A 0 0 0. 0 0.
289 A 0 0 0. 0 0.
290 A 0 0 0. 0 0.
291 A 7 7 1. 22 0.318
292 A 6 6 1. 22 0.273
293 A 3 3 1. 22 0.136
294 A 3 3 1. 20 0.15
295 A 0 0 0. 0 0.
296 A 0 0 0. 0 0.
297 A 0 0 0. 0 0.
298 A 25 9 1. 22 0.409
299 A 17 7 1. 22 0.318
300 A 12 5 1. 20 0.25
301 A 0 0 0. 0 0.
302 A 0 0 0. 0 0.
303 A 0 0 0. 0 0.
304 A 13 10 1. 16 0.625
305 A 9 7 1. 16 0.438
306 A 7 7 1. 14 0.5
307 A 0 0 0. 0 0.
308 A 0 0 0. 0 0.
309 A 0 0 0. 0 0.
310 A 25 16 1. 22 0.727
311 A 22 18 1. 22 0.818
312 A 17 13 1. 22 0.591
313 A 11 10 1.01 20 0.5
314 A 0 0 0. 0 0.
315 A 0 0 0. 0 0.
316 A 0 0 0. 0 0.
317 A 44 19 1. 24 0.792
318 A 31 19 1. 24 0.792
319 A 13 12 1.12 22 0.546
320 A 0 0 0. 0 0.
321 A 0 0 0. 0 0.
322 A 0 0 0. 0 0.
323 A 16 9 1. 24 0.375
324 A 10 7 1. 24 0.292
325 A 7 5 1. 22 0.227
326 A 0 0 0. 0 0.
327 A 0 0 0. 0 0.
328 A 4 3 1. 18 0.167
329 A 3 3 1. 18 0.167
330 A 3 3 1. 18 0.167
331 A 2 2 1. 18 0.111
332 A 2 2 1. 18 0.111
333 A 3 3 1. 18 0.167
334 A 3 3 1. 18 0.167
335 A 4 3 1. 18 0.167
336 A 5 4 1. 18 0.222
337 A 4 4 1. 18 0.222
338 A 4 4 1. 18 0.222
339 A 3 3 1. 18 0.167
340 A 3 3 1. 18 0.167
341 A 4 4 1. 18 0.222
342 A 4 4 1. 18 0.222
343 A 5 4 1. 18 0.222
344 A 4 3 1. 18 0.167
345 A 3 3 1. 18 0.167
346 A 3 3 1. 18 0.167
347 A 2 2 1. 18 0.111
348 A 2 2 1. 18 0.111
349 A 3 3 1. 18 0.167
350 A 3 3 1. 18 0.167
351 A 4 3 1. 18 0.167
352 A 5 4 1. 18 0.222
353 A 4 4 1. 18 0.222
354 A 4 4 1. 18 0.222
355 A 3 3 1. 18 0.167
356 A 3 3 1. 18 0.167
357 A 4 4 1. 18 0.222
358 A 4 4 1. 18 0.222
359 A 5 4 1. 18 0.222
360 A 6 3 1. 8 0.375
361 A 14 5 1. 14 0.357
362 A 10 4 1. 14 0.286
363 A 10 5 1. 14 0.357
364 A 6 2 1. 12 0.167
365 A 12 5 1. 14 0.357
366 A 12 6 1. 14 0.429
367 A 16 7 1. 14 0.5
368 A 14 5 1. 23 0.217
369 A 10 4 1. 23 0.174
370 A 10 5 1. 23 0.217
371 A 6 2 1. 21 0.095
372 A 12 5 1. 23 0.217
373 A 12 6 1. 23 0.261
374 A 16 7 1. 23 0.304
375 A 16 8 1. 23 0.348
376 A 20 9 1. 25 0.36
377 A 16 8 1. 25 0.32
378 A 12 7 1. 23 0.304
379 A 0 0 0. 0 0.
380 A 0 0 0. 0 0.
381 A 0 0 0. 0 0.
382 A 20 12 1. 23 0.522
383 A 19 13 1. 23 0.565
384 A 14 9 1. 23 0.391
385 A 13 9 1. 21 0.429
386 A 0 0 0. 0 0.
387 A 0 0 0. 0 0.
388 A 0 0 0. 0 0.
389 A 19 9 1. 25 0.36
390 A 15 8 1. 25 0.32
391 A 9 6 1. 23 0.261
392 A 0 0 0. 0 0.
393 A 0 0 0. 0 0.
394 A 0 0 0. 0 0.
395 A 12 7 1. 8 0.875
396 A 5 4 1. 10 0.4
397 A 19 6 1. 10 0.6

[next] [prev] [prev-tail] [front] [up]